¿Hasta cuándo la religión?

Hasta-La-Vista: Termination Analyser for Logic Programs

Verifying termination is often considered as one of the most important aspects of program verification. Logic languages, allowing us to program declaratively, increase the danger of non-termination. Therefore, termination analysis received considerable attention in logic programming (see e.g. [7, 8, 10, 16]). Unfortunately, the majority of existing termination analysers, such as TermiLog [15], ...

Soporte de Métricas con Independencia del Lenguaje para la Inferencia de Refactorizaciones

Uno de los problemas actuales a la hora de refactorizar el código radica en cuándo refactorizar. Hasta el momento, la mayoría de propuestas establecen que el proceso de refactorización nace de la intuición y experiencia del programador. Partiendo del concepto de “Bad Smell” y a través de métricas, existe la posibilidad de plantear su existencia, no desde un punto de vista subjetivo donde la opi...

HASTA: A Hierarchical-Grid Clustering Algorithm with Data Field

In this paper, a novel clustering algorithm, HASTA (HierArchical-grid cluStering based on daTA field), is proposed to model the dataset as a data field by assigning all the data objects into qusantized grids. Clustering centers of HASTA are defined to locate where the maximum value of local potential is. Edges of cluster in HASTA are identified by analyzing the first-order partial derivative of...

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Religious beliefs, illness and death: family’s perspectives in illness experience CRENÇAS RELIGIOSAS, DOENÇA E MORTE: PERSPECTIVA DA FAMÍLIA NA EXPERIÊNCIA DE DOENÇA CREENCIAS RELIGIOSAS, ENFERMEDAD Y MUERTE: PERSPECTIVAS DE LA FAMILIA EN LA EXPERIENCIA DE LA ENFERMEDAD

The objectives of this study were to identify predominant themes in religion, illness and death in the life histories of families and examine the relationship between religion creeds, illness and death in the discourse of families that have an ill person. The theoretical framework used in this study was Symbolic Interactionism and the method was Oral History. Participants were seventeen familie...